921. Universal algebra and lattice theory
پدیدآورنده : edited by Stephen D. Comer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Universal, Congresses,Lattice theory, Congresses
922. Universal algebra and lattice theory : Proceedings of the Fourth International Conference, held at Puebla, Mexico, 1982
پدیدآورنده : edited by R. S. Freese and O. C. Garcia
کتابخانه: (طهران)
موضوع : Congresses ، Algebra, Universal,Congresses ، Lattice theory
رده :
QA
3
.
L28
Vol
.
1004
923. Universal algebra and lattice theory : proceedings of a Conference held at Charleston, July 11-14, 1984
پدیدآورنده : edited by Stephen D. Comer
کتابخانه: (طهران)
موضوع : Congresses ، Algebra, Universal,Conference ، Lattice theory
رده :
QA
3
.
L28
Vol
.
1149
924. Universal algebra and lattice theory : proceedings of a conference held at Charleston, 11-14, 1984
پدیدآورنده : edited by Stephen D. Comer
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Algebra, Universal,Congresses ، Lattice theory
رده :
QA
1
.
L4
v
.
1149
925. Universal algebra and lattice theory: proceedings of a conference held at Charleston, 11-14, 1984
پدیدآورنده :
موضوع : Congresses ، Algebra, Universal,Congresses ، Lattice theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
926. Universal algebra and lattice theory : proceedings of the fourth international conference, held at Puebla, Mexico, 1982
پدیدآورنده : edited by R.S. Freese and O.C. Garcia
موضوع : Congresses ، Algebra, Universal,Congresses ، Lattice theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
927. Universal algebra and lattice theory : proceedings of the fourth international conference, held at Puebla, Mexico, 1982
پدیدآورنده : edited by R.S. Freese and O.C. Garcia
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Algebra, Universal,Congresses ، Lattice theory
رده :
QA
1
.
L4
v
.
1004
928. Universal algebra and lattice theory; proceedings of the fourth international conference held at puebla, Mexico, 1982
پدیدآورنده : edited by R.S. Freese and O.C. Carcia
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Algebra, Universal,Congresses ، Lattice theory
رده :
QA
3
.
L28
no
.
1004
929. University algebra and lattic theory: Proceedings of a conference held at charleston, July 11-14, 1984
پدیدآورنده : edited by Stephen D. Comer
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Algebra, Universal,Congresses ، Lattice theory
رده :
QA
3
.
L28
no
.
1149
930. Validation and verification of knowledge based systems :
پدیدآورنده : edited by Anca Vermesan and Frans Coenen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
V47
E358
2011
931. Vertex algebras and geometry /
پدیدآورنده : Thomas Creutzig, Andrew R. Linshaw, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geometry, Algebraic, Congresses.,Operator algebras, Congresses.,Vertex operator algebras, Congresses.,Geometry, Algebraic.,Nonassociative rings and algebras-- Lie algebras and Lie superalgebras-- Vertex operators; vertex operator algebras and related structures.,Operator algebras.,Quantum theory-- Groups and algebras in quantum theory-- Infinite-dimensional groups and algebras motivated by physics, including Virasoro, Kac-Moody, $W$-algebras and other current algebras and their representations.,Vertex operator algebras.
رده :
QA329
.
V47
2018
932. Web services and formal methods :
پدیدآورنده : Marco Carbone, Jean-Marc Petit (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
رده :
QA76
.
76
.
A65
M373
2012
933. Word Problems II
پدیدآورنده : \ edited by S. I. Adian, W. W. Boone, G. Higman.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Group theory-- Congresses.,Gödel's theorem-- Congresses.,Word problems (Mathematics)
رده :
QA171
.
W86
E-book
,
934. Word problems II :
پدیدآورنده : edited by S. I. Adian, W. W. Boone, G. Higman
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Gödel's theorem-- Congresses,Group theory-- Congresses
رده :
QA171
.
W86
935. Zero-dimensional commutative rings : proceedings of the 1994 John H. Barrett Memorial Lectures and Conference on Commutative Ring Theory
پدیدآورنده : edited by David F. Anderson, David E. Dobbs
کتابخانه: (طهران)
موضوع : Congresses ، Commutative rings,Congresses ، Commutative algebra
رده :
QA
251
.
3
.
J64
1994
936. Zero-dimensional commutative rings :proceedings of the 1994 John H. Barrett Memorial Lectures and Conference on Commutative Ring Theory
پدیدآورنده : edited by David F. Anderson, David E. Dobbs
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : Congresses ، Commutative rings,Congresses ، Commutative algebra
رده :
QA
251
.
3
.
J64
1994
937. Zeta functions in algebra and geometry : Second International Workshop, May 3-7, 2010, Universitat de les Illes Balears, Palma de Mallorca, Spain
پدیدآورنده : Antonio Campillo ... ]et al.[, editors
کتابخانه: (طهران)
موضوع : Congresses ، Functions, Zeta,Congresses ، Geometry, Algebraic,Congresses ، Algebraic varieties
رده :
QA
351
.
I588
2010
938. correcting codes-Applied algebra, algebraic algorithms and error
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : correcting codes (Information theory) ; Congresses. ; Algebra ; Data processing ; Congresses. ; Algorithms ; Congresses. ; Computeralgebra ; Kongress ; Tarragona <2009> ; Fehlerkorrekturcode ; Kongress ; Tarragona <2009> ; Kryptologie ; Kongress ; T-Error
939. logic , Algebra and computation:International summer school diruted by F.L.Baver ...]et gl.[
پدیدآورنده : edited by frledrich l.Baver
کتابخانه: (کرمان)
موضوع : logic progrommig - congersses,Alxbrn - congresses,computational complexity - congresses
رده :
QA
76
.
63
.
L618
1991
940. logic , Algebra and computation:International summer school diruted by F.L.Baver ...]et gl.[
پدیدآورنده : edited by frledrich l.Baver
کتابخانه: (کرمان)
موضوع : logic progrommig - congersses,Alxbrn - congresses,computational complexity - congresses
رده :
QA
76
.
63
.
L618
1991
